ecl-add-catch(A; l)
== spreadn(A;
== spreadn(Ta,ksa,ia,ga,ha,aa,ea.<Ta
== spreadn(, ksa
== spreadn(, ia
== spreadn(, ga
== spreadn(, n,x. bor(band((deq-member(nat-deq; n; l)); (ha(n,x)));
== spreadn(, n,x. bor(band((n = 0); reduce((m,b. bor((ha(m,x)); b)); ff; l)))
== spreadn(, aa
== spreadn(, list-diff(nat-deq; ea; l)>) 

latex

Definitions	spreadn(u; a,b,c,d,e,f,g.v(a;b;c;d;e;f;g)), b, deq-member(eq; x; L), band(p; q), (i = j), reduce(f; k; as), bor(p; q), ff, list-diff(eq; as; bs), nat-deq
FDL editor aliases	ecl-add-catch